Implication Details

Assumptions: cartesian filtered colimits, self-dual

Conclusions: cocartesian cofiltered limits

Reason: This holds by self-duality.